• صفحه اصلی
  • جستجوی پیشرفته
  • فهرست کتابخانه ها
  • درباره پایگاه
  • ارتباط با ما
  • تاریخچه
تعداد ۷ پاسخ غیر تکراری از ۷ پاسخ تکراری در مدت زمان ۰,۵۹ ثانیه یافت شد.

1. FME 2002 :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Lars-Henrik Eriksson, Peter Alexander Lindsay (eds.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses

رده :
QA76
.
76
.
D47
I593
2002

2. FME 2003 :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Keijiro Araki, Stefania Gnesi, Dino Mandrioli

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses

رده :
QA76
.
76
.
D47
I593
2003

3. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design

رده :
QA
76
.
L28
Vol
.
2805

4. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design

رده :
QA
76
.
L28
Vol
.
2391

5. Recent trends in algebraic development techniques

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: \ Mihai Codescu, Răzvan Diaconescu, Ionuț Țuțu (Eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer software -- Development -- Congresses.,Computer science -- Mathematics -- Congresses,Formal methods (Computer science) -- Congresses.,نرم‌افزار -- تولید -- کتگره ها,علوم کامپیوتر -- ریاضیات -- کنگره‌ها ,روش‌های صوری (کامپیوتر) -- کنگره‌ها

رده :
QA
76
.
76
.
D47
W32
2015
E-Book
,

6. Recent trends in algebraic development techniques

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: Narciso Martí-Oliet, Miguel Palomino (eds.)

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science-- Mathematics, Congresses,Computer software-- Development, Congresses,Formal methods (Computer science), Congresses

رده :
QA76
.
76
.
D47
W33
2012

7. Recent trends in algebraic development techniques :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

پدیدآورنده: José Luiz Fiadeiro, Ionuţ Ţuţu (eds.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science-- Mathematics, Congresses.,Computer software-- Development, Congresses.,Formal methods (Computer science), Congresses.,Computer science-- Mathematics.,Computer software-- Development.,Formal methods (Computer science)

رده :
QA76
.
76
.
D47
  • »
  • 1
  • «

پیشنهاد / گزارش اشکال

اخطار! اطلاعات را با دقت وارد کنید
ارسال انصراف
این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است
برترین جستجوگر - پنجمین جشنواره رسانه های دیجیتال